In an earlier paper Christopher Tuplin and I attempted to establish the date and circumstances of the emergence of the concept of ‘the Greeks of Asia’ and the consequent appearance of ‘the freedom of the Greeks of Asia’ as a political slogan. It was there suggested that concept and slogan first crystallized shortly before the Peace of Antalcidas, and that the freedom of the Greeks of Asia first acquired its full force as a catchword when that freedom had been signed (...) away, apparently for ever. The present paper traces the further history of the slogan, first under Alexander and the Diadochi, then at the time of the Roman conquest of the eastern Mediterranean. No attempt is, however, made to deal with every unanswered question raised by either Macedonian or Roman dealings with Greece. The Greeks of Asia languished under Persia till the time of the Macedonian invasion. Yet when that invasion came, the freedom of the Greeks of Asia was to play little part in Macedonian propaganda, still less in Macedonian practice. The expedition was conceived by Philip as an act of revenge for the Persian invasions of Greece. This theme of revenge was taken up by Alexander at the time of his appointment to command, and recurs in his letter to Darius and his words to Parmenio after the taking of Persepolis. The even broader theme of a crusade of Greeks against Persians to achieve the conquest of Asia is still more frequent. It dictates the sedulous manufacture of parallels with the Trojan war and the inscription on the spoils sent to Athens after the battle of the Granicus; it was also used to justify Alexander's hatred of Greeks who fought on the Persian side. By comparison with these motifs the freedom of the Greeks of Asia receives little attention. When Philip sent out his advance expedition under Parmenio and Attalus, his instructions to them were to free the Greek cities. But just how flexibly that order could be interpreted is shown by Parmenio's treatment of Grynium. Alexander too showed himself ruthlessly pragmatic in his attitude to Greek cities, until the appointment of Alcimachus to liberate the Aeolian and Ionian cities. Yet this development receives little attention in the sources, and the only trace of it in subsequent propaganda is the claim ascribed to Alexander when he was on his way from Miletus to Caria that he had undertaken the war for the sake of the freedom of the Greeks, the only occasion in the surviving evidence on which Alexander makes this assertion. (shrink)

Alain Badiou’s treatment of objects in Logics of Worlds is both rich and highly technical, though its terminological challenges are softened by his use of illuminating examples. This article takes a twofold approach to the topic. In a first sense, the theory of objects developed in Logics of Worlds by way of an imagined protest at the Place de la République in Paris exhibits two questionable aspects: (1) the notion that the object is a bundle of qualities (found proverbially in (...) Hume, but also in Kant’s “transcendental object=X”), and (2) the ultimately idealist assumption of a possible isomorphy between appearance and reality. But in a second sense, Badiou’s transcendental account of worlds leads him to a fascinating theory of exemplary entities, one that is immune to the critiques of onto-theology made by Heidegger and Derrida. This can be found in his account of the “transcendental functor” in Alexander the Great’s decisive victory over Darius III at the Battle of Gaugamela in 331 B.C.E. (shrink)

Summary The article deals with a complex of issues connected with the campaign waged by the Macedonian expeditionary corps in Asia Minor in 336–335 BC. The author clears up the aims set for the advance-guard, its command structure, strength and composition. He also describes the relevant military operations and reveals the reasons both for the Macedonians’ successes in 336 and their failures in 335. The idea is argued that despite the final failures, it is hardly possible to say that the (...) campaign the expeditionary corps conducted ended in its total defeat. Besides, it is noted that those military operations had major significance for Alexander’s campaign in Asia Minor in 334, because a number of preconditions for its full success had been created right in their course. (shrink)

This paper sketches a dispositionalist conception of laws and shows how the dispositionalist should respond to certain objections. The view that properties are essentially dispositional is able to provide an account of laws that avoids the problems that face the two views of laws (the regularity and the contingent nomic necessitation views) that regard properties as categorical and laws as contingent. I discuss and reject the objections that (i) this view makes laws necessary whereas they are contingent; (ii) this view (...) cannot account for certain kinds of laws of nature and their properties. (shrink)

Philosophical discussions often involve appeals to verdicts about particular cases, sometimes actual, more often hypothetical, and usually with little or no substantive argument in their defense. Philosophers — on both sides of debates over the standing of this practice — have often called the basis for such appeals ‘intuitions’. But, what might such ‘intuitions’ be, such that they could legitimately serve these purposes? Answers vary, ranging from ‘thin’ conceptions that identify intuitions as merely instances of some fairly generic and epistemologically (...) uncontroversial category of mental states or episodes to ‘thick’ conceptions that add to this thin base certain semantic, phenomenological, etiological, or methodological conditions. As this chapter discusses, thick conceptions turn out to have their own methodological problems; some may even leave philosophers in the methodologically untenable position of being unable to determine when anyone is doing philosophy correctly. (shrink)

Let us call a property that is essentially dispositional a potency.1 David Armstrong thinks that potencies do not exist. All sparse properties are essentially categorical, where sparse properties are the explanatory properties of the type science seeks to discover. An alternative view, but not the only one, is that all sparse properties are potencies or supervene upon them. In this paper I shall consider the differences between these views, in particular the objections Armstrong raises against potencies.

In a recent article in this journal, Parker Crutchfield argues that if moral bioenhancement ought to be compulsory, as some authors claim, then it ought to be covert, i.e., performed without the knowledge of the population that is being morally enhanced. Crutchfield argues that since the aim of compulsory moral bioenhancement is to prevent ultimate harm to the population, compulsory moral bioenhancement is best categorized as a public health issue, and should therefore be governed by the norms and values that (...) apply in public health settings. In this article, I argue for two related claims. First, I question the extent to which compulsory moral enhancement should be considered a public health issue that ought to be governed by the norms and values that apply in public health settings. Second, I argue that Crutchfield's argument that covert moral bioenhancement would better respect people's autonomy than an overt program overlooks two important autonomy‐based reasons that, in fact, favor an overt moral enhancement program over a covert one. (shrink)

Shocking. There seems no other response to the Fox findings. The bioethics community has been working for decades to improve the quality of, and access to, competent healthcare ethics consultation....

Even good lawyers get a bad rap. One explanation for this is that the professional rules governing lawyers permit and even require behavior that strikes many as immoral. The standard accounts of legal ethics that seek to defend these professional rules do little to dispel this air of immorality. The revisionary accounts of legal ethics that criticize the professional rules inject a hearty dose of morality, but at the cost of leaving lawyers unrecognizable as lawyers. This article suggests that the (...) problem with both the professional rules and the extant accounts of legal ethics is that they treat the role of lawyer as largely uniform, whereas lawyers actually serve several importantly different roles in different contexts. The central insight of the article is that legal ethics must be fundamentally context-sensitive: what lawyers are morally permitted or required to do depends on the background context in which they are working. Additionally, by taking context into account, this article is the first to present a theory of legal ethics as appropriately shaped and constrained by normative political philosophy and norms of political legitimacy. -/- Specifically, the article argues that people act as lawyers in three different contexts: State v. Individual (situations in which the State seeks to apply some general law to a particular individual), Individual v. Individual (situations in which private individuals are engaged in a dispute), and Individual v. State (situations in which individuals object to State conduct on constitutional or other grounds unrelated to the question of whether a general law applies to their particular case); that the value of lawyers, qua lawyers, stems from a different source in each of these contexts; and that a theory of legal ethics must take into account both of these first two claims. This article develops one such theory - the Multi-Context View. To demonstrate how the theory applies in practice, the article applies the Multi-Context View to two significant issues in legal ethics: the ethical issues involved in deciding whether to represent a client and the moral permissibility of the use of tactical delay. (shrink)

Let the chain antichain principle (CAC) be the statement that each partial order on $\mathbb{N}$ possesses an infinite chain or an infinite antichain. Chong, Slaman, and Yang recently proved using forcing over nonstandard models of arithmetic that CAC is $\Pi^1_1$-conservative over $\text{RCA}_0+\Pi^0_1\text{-CP}$ and so in particular that CAC does not imply $\Sigma^0_2$-induction. We provide here a different purely syntactical and constructive proof of the statement that CAC (even together with WKL) does not imply $\Sigma^0_2$-induction. In detail we show using a (...) refinement of Howard's ordinal analysis of bar recursion that $\text{WKL}_0^\omega+\text{CAC}$ is $\Pi^0_2$-conservative over PRA and that one can extract primitive recursive realizers for such statements. Moreover, our proof is finitary in the sense of Hilbert's program. CAC implies that every sequence of $\mathbb{R}$ has a monotone subsequence. This Bolzano-Weierstraß}-like principle is commonly used in proofs. Our result makes it possible to extract primitive recursive terms from such proofs. We also discuss the Erdős-Moser principle, which—taken together with CAC—is equivalent to $\text{RT}^2_2$. (shrink)

The recent proposition to eliminate eponyms from physical publications is discussed. The role of eponyms in research and education is analyzed. We show that eponyms constitute an integral part of physical texts and ensure the continuity of scientific research. Their proposed elimination is dangerous for science and the entire human culture and must be rejected.

According to Hobbes, individuals care about their relative standing in a way that shapes their social interactions. To model this aspect of Hobbesian psychology, this paper supposes that agents have social preferences, that is, preferences about their comparative resource holdings. Introducing uncertainty regarding the social preferences of others unleashes a process of trust-unravelling, ultimately leading to Hobbes’s ‘state of war’. This Trust-unravelling Model incorporates important features of Hobbes’s argument that past models ignore.

A survey is given of three-valued paraconsistent propositionallogics connected with Jaśkowski’s criterion for constructing paraconsistentlogics. Several problems are raised and four new matrix three-valued paraconsistent logics are suggested.

How can it be rational to work on a new theory that does not yet meet the standards for good or acceptable theories? If diversity of approaches is a condition for scientific progress, how can a scientific community achieve such progress when each member does what it is rational to do, namely work on the best theory? These two methodological problems, the problem of pursuit and the problem of diversity, can be solved by taking into account the cognitive risk that (...) is involved in theory choice. I compare this solution to other proposals, in particular T. S. Kuhn's and P. Kitcher's view that the two problems demonstrate the epistemic significance of the scientific community. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

It is an old idea, lately out of fashion but now experiencing a revival, that quantum mechanics may best be understood, not as a physical theory with a problematic probabilistic interpretation, but as something closer to a probability calculus per se. However, from this angle, the rather special C *-algebraic apparatus of quantum probability theory stands in need of further motivation. One would like to find additional principles, having clear physical and/or probabilistic content, on the basis of which this apparatus (...) can be reconstructed. In this paper, I explore one route to such a derivation of finite-dimensional quantum mechanics, by means of a set of strong, but probabilistically intelligible, axioms. Stated very informally, these require that systems appear completely classical as restricted to a single measurement, that different measurements, and likewise different pure states, be equivalent (up to the action of a compact group of symmetries), and that every state be the marginal of a bipartite non-signaling state perfectly correlating two measurements. This much yields a mathematical representation of (basic, discrete) measurements as orthonormal subsets of, and states, by vectors in, an ordered real Hilbert space – in the quantum case, the space of Hermitian operators, with its usual tracial inner product. One final postulate (a simple minimization principle, still in need of a clear interpretation) forces the positive cone of this space to be homogeneous and self-dual and hence, to be the state space of a formally real Jordan algebra. From here, the route to the standard framework of finite-dimensional quantum mechanics is quite short. (shrink)

In my paper , I noted that Fitch's argument, which purports to show that if all truths are knowable then all truths are known, can be blocked by typing knowledge. If there is not one knowledge predicate, ‘ K’, but infinitely many, ‘ K 1’, ‘ K 2’, … , then the type rules prevent application of the predicate ‘ K i’ to sentences containing ‘ K i’ such as ‘ p ∧¬ K i⌜ p⌝’. This provides a motivated response (...) to Fitch's argument so long as knowledge typing is itself motivated. It was the burden of my paper to explore the case that knowledge typing is as motivated as truth typing by drawing on the parallels between epistemic paradoxes generated by sentences of the kind ‘this sentence is unknown’ and semantic paradoxes generated by sentences such as ‘this sentence is untrue’. Given that typing truth is one of the acknowledged options for solving semantic paradoxes, if the parity argument succeeds it follows that epistemic typing is as well-motivated as truth typing and that the typing response to Fitch's argument is correspondingly strong.Halbach presents an apparent problem for this argument. Let ‘ N’ and ‘ P’, respectively, denote the necessity and possibility predicates, ‘ K 1’ the knowledge predicate of first type, and let ‘γ’ be a K-free sentence such that γ ↔¬ P⌜ K 1⌜γ⌝⌝; we know such a ‘γ’ exists by a standard diagonalization argument. If we assume that γ is knowable at the next knowledge type, that is, at type 1, and that the possibility typing does not interfere with the knowledge typing, a contradiction quickly ensues. Formally: γ ↔¬ P⌜ …. (shrink)

Retributivism is generally thought to forbid the punishment of the innocent, even if such punishment would produce otherwise good results, such as deterrence. It has recently been argued that because capital punishment always entails the risk of executing an innocent person, instituting capital punishment is tantamount to intentionally taking innocent lives and therefore cannot be justified on retributive grounds. I argue that there are several versions of retributivism, only one of which might categorically forbid risking punishing innocent persons. I also (...) argue that our moral practices reveal either that we do not hold this particular version of retributivism, or that we reject equating risking punishing the innocent with intentionally doing so. *** DIRECT SUPPORT *** A9102008 00005. (shrink)

In his 1982 book Wittgenstein on Rules and Private Language, Saul Kripke develops a famous argument that purports to show that there are no facts about what we mean by the expressions of our language: ascriptions of meaning, such as “Jones means addition by ‘+’” or Smith means green by ‘green’”, are according to Kripke’s Wittgenstein neither true nor false. Kripke’s Wittgenstein thus argues for a form of non-factualism about ascriptions of meaning: ascriptions of meaning do not purport to state (...) facts. Define semantic realism to be the view that ascriptions of meaning are apt to be assessed in terms of truth and falsity, and are, at least in some instances, true. Semantic realism, thus defined, is a form of cognitivism about semantic judgement, according to which judgements ascribing meaning express beliefs, states apt for assessment in terms of truth and falsity. Kripke’s Wittgenstein thus argues against semantic realism, and in favour of a form of semantic non-cognitivism.1 En route to semantic non-cognitivism, Kripke’s Wittgenstein argues against dispositionalist theories of meaning, which hold something roughly along the lines of the following: Jones means magpie by “magpie” if and only if Jones is disposed to apply “magpie” to magpies in ideal conditions (where the ideal conditions can be specified in terms that don’t presuppose the notion of meaning, and are such that in those conditions Jones applies “magpie” to a thing if and only if that thing is a magpie). (shrink)

This primarily diagnostic paper offers, from the perspective of relational egalitarianism, a normative analysis of three major injustices in the context of adaptation finance. Adaptation finance includes payments provided by the affluent countries of the Global North to low-income countries in the Global South, countries particularly exposed to the harms of climate change. Relational egalitarianism is the normative view that interactions between people and between institutions have to respect the equal moral status of every human being. The first injustice, from (...) this perspective, consists in the sheer fact that adaptation measures are required at all to deflect harm from people who did not significantly contribute to the causes of climate change. The second injustice consists in the persisting, even increasing adaptation finance gap, as countries of the Global North do neither provide adequate financial means to reduce climate risks, nor even fulfil their commitments to adaptation finance pledged in the Copenhagen Accord in 2009. The third injustice emerges from current procedures to determine criteria for distributing scarce financial resources that consolidate structural injustice. The paper concludes by providing the contours of a practical response to these injustices that respects the demands of relational egalitarianism. (shrink)

We discuss Smirnovs problem of finding a common background for classifying implicational logics. We formulate and solve the problem of extending, in an appropriate way, an implicational fragment H of the intuitionistic propositional logic to an implicational fragment TV of the classical propositional logic. As a result we obtain logical constructions having the form of Boolean lattices whose elements are implicational logics. In this way, whole classes of new logics can be obtained. We also consider the transition from implicational logics (...) to full logics. On the base of the lattices constructed, we formulate the main classification principles for propositional logics. (shrink)

We consider games over a finite alphabet with Gurevich-Harrington's winning conditions and restraints as in Yakhnis-Yakhnis . The game tree, the Gurevich-Harrington's kernels of the winning condition and the restraints are defined by finite automata. We give an effective criterion to determine the winning player and an effective presentation of a class of finite automata defined winning strategies.Our approach yields an alternative solution to the games considered by Büchi and Landweber . The BL algorithm is an important tool for solving (...) effectively presented games. The differences between the BL and our algorithms are as follows. Our algorithm is uniformly applicable to winning sets that correspond to boolean combinations of BL winning conditions, while the BL algorithm requires a transformation of such boolean combinations into a single BL condition. Our algorithm directly applies to a larger class of game trees for a given game alphabet than does the BL one. We describe Büchi-Landweber's class of winning conditions in a more transparent way by using finite automata and Gurevich-Harrington's form of winning conditions. Our algorithms that determine the winner of the game and find a winning strategy, are based on a translation of the events in the game in terms of the transition table of the automaton representing the game. This automaton differs from the ones that represent BL winning conditions. Both algorithms need further investigation.The algorithm determining the winner in the game, can be used as a verifier of concurrent programs. This is because programs can be viewed as strategies in Gurevich-Harrington's games and program specifications could be regarded as winning conditions for such games. The algorithm which finds a winning strategy could be used as a basis for automated concurrent program design.The present paper is a sequel to Annals of Pure and Applied Logic 48 277–297. (shrink)

This piece is a review essay on Victor Tadros’s The Ends of Harm. Tadros rejects retributive desert but believes punishment can be justified instrumentally without succumbing to the problems of thoroughgoing consequentialism and endorsing using people as means. He believes he can achieve these results through extension of the right of self-defense. I argue that Tadros fails in this endeavor: he has a defective account of the means principle; his rejection of desert leads to gross mismatches of punishment and culpability; (...) and he cannot account for punishment of inchoate crimes. (shrink)

Natural selection of specific protobiomonomers during abiogenic development of the prototype genetic code is hindered by the diversity of structural, spatial, and rotational isomers that have identical elemental composition and molecular mass (M), but can vary significantly in their physicochemical characteristics, such as the melting temperature Tm, the Tm:M ratio, and the solubility in water, due to different positions of atoms in the molecule. These parameters differ between cis- and trans-isomers of dicarboxylic acids, spatial monosaccharide isomers, and structural isomers of (...) α-, β-, and γ-amino acids. The stable planar heterocyclic molecules of the major nucleobases comprise four (C, H, N, O) or three (C, H, N) elements and contain a single –C=C bond and two nitrogen atoms in each heterocycle involved in C–N and C=N bonds. They exist as isomeric resonance hybrids of single and double bonds and as a mixture of tautomer forms due to the presence of –C=O and/or –NH2 side groups. They are thermostable, insoluble in water, and exhibit solid-state stability, which is of central importance for DNA molecules as carriers of genetic information. In M–Tm diagrams, proteinogenic amino acids and the corresponding codons are distributed fairly regularly relative to the distinct clusters of purine and pyrimidine bases, reflecting the correspondence between codons and amino acids that was established in different periods of genetic code development. The body of data on the evolution of the genetic code system indicates that the elemental composition and molecular structure of protobiomonomers, and their M, Tm, photostability, and aqueous solubility determined their selection in the emergence of the standard genetic code. (shrink)

The prediction of protein–protein interactions based on independently obtained structural information for each interacting partner remains an important challenge in computational chemistry. Procedures where hypothetical interaction models (or decoys) are generated, then ranked using a biochemically relevant scoring function have been garnering interest as an avenue for addressing such challenges. The program PatchDock has been shown to produce reasonable decoys for modeling the association between pig alpha-amylase and the VH-domains of camelide antibody raised against it. We designed a biochemically relevant (...) method by which PatchDock decoys could be ranked in order to separate near-native structures from false positives. Several thousand steps of energy minimization were used to simulate induced fit within the otherwise rigid decoys and to rank them. We applied a partial free energy function to rank each of the binding modes, improving discrimination between near-native structures and false positives. Sorting decoys according to strain energy increased the proportion of near-native decoys near the bottom of the ranked list. Additionally, we propose a novel method which utilizes regression analysis for the selection of minimization convergence criteria and provides approximation of the partial free energy function as the number of algorithmic steps approaches infinity. (shrink)

Let ${2-\textsf{RAN}}$ be the statement that for each real X a real 2-random relative to X exists. We apply program extraction techniques we developed in Kreuzer and Kohlenbach (J. Symb. Log. 77(3):853–895, 2012. doi:10.2178/jsl/1344862165), Kreuzer (Notre Dame J. Formal Log. 53(2):245–265, 2012. doi:10.1215/00294527-1715716) to this principle. Let ${{\textsf{WKL}_0^\omega}}$ be the finite type extension of ${\textsf{WKL}_0}$ . We obtain that one can extract primitive recursive realizers from proofs in ${{\textsf{WKL}_0^\omega} + \Pi^0_1-{\textsf{CP}} + 2-\textsf{RAN}}$ , i.e., if ${{\textsf{WKL}_0^\omega} + \Pi^0_1-{\textsf{CP}} + 2-\textsf{RAN} (...) \, {\vdash} \, \forall{f}\, {\exists}{x} A_{qf}(f,x)}$ then one can extract from the proof a primitive recursive term t(f) such that ${A_{qf}(f,t(f))}$ . As a consequence, we obtain that ${{\textsf{WKL}_0}+ \Pi^0_1 - {\textsf{CP}} + 2-\textsf{RAN}}$ is ${\Pi^0_3}$ -conservative over ${\textsf{RCA}_0}$. (shrink)

This paper explores the possibility of an undercurrent of sociopolitical commentary in Catullus’s Poem 51. Taking as its starting point a recent theory arguing for such a commentary in Poem 11, it attempts to determine whether and to what extent it can be applied to Poem 51; these two poems are often studied together, as they both concern the character Lesbia and are the only two Catullan poems written in the sapphic meter. The paper examines elements of the poem such (...) as word choice, meter, and stylistic devices, as well as differences between it and the Sappho poem it is based on. The argument is that there are elements of sociopolitical commentary in Poem 51 similar to Poem 11 and other ‘Lesbia poems’, albeit to a lesser extent. (shrink)